Temporal-logic query checking over finite data streams

International Journal on Software Tools for Technology Transfer - This paper describes a technique for solving temporal-logic queries over finite sets of finite-length data streams. Such data...     

磁齿轮复合永磁电机拓扑及应用综述

磁齿轮复合电机（MGM）是一种自带减速效应的新型多气隙磁场调制型永磁电机，因其转矩密度大、功率因数高，近年来在混动/电动汽车、低速大转矩直驱、航空航天等领域的应用前景获得了业界的广泛关注；MGM非接触传动的特点使其在医药食品、新能源发电、石油化工等方面具有发展潜力。该文首先介绍磁力齿轮及多种磁齿轮复合电机的工作原理，介绍和比较磁齿轮与电机常见的复合方式及其特点；按照单元排布方式、调制结构、电机及磁齿轮类型等分类梳理近年来MGM在拓扑结构上的研究和创新，介绍各类磁通方向及运行方式MGM的研究。然后介绍MGM近年来在高减速比、低成本、无级变速等一些关键问题上的进展。最后总结磁齿轮复合电机的业界应用现状，并对其应用前景进行展望。     

Facial-sketch Synthesis: A New Challenge

Machine Intelligence Research - This paper aims to conduct a comprehensive study on facial-sketch synthesis (FSS). However, due to the high cost of obtaining hand-drawn sketch datasets, there is a...     

Changes in the content and antioxidative activity of β-carotene and its metabolite vitamin A during gastrointestinal digestion and absorption and optimisation of HPLC-based detection

The β-Carotene (BC), an important precursor of vitamin A (VA), possesses antioxidant activity but is fat-soluble and has low bioavailability. In previous in-vitro assays evaluating antioxidant and 2,2′-azobis(2-amidinopropane) dihydrochloride (AAPH) free radical scavenging, both BC and VA showed a strong ability to scavenge radicals and protected cells from oxidative stress. Here, we used artificially simulated gastrointestinal digestion and Caco-2 cell absorption models to evaluate the bioavailability of the BC during gastrointestinal digestion and absorption using high-performance liquid chromatography (HPLC) analysis. We observed high absorptive and transfer rates of BC and detected retinol metabolites (Vitamin A). Therefore, BC can be detected in the acidic gastrointestinal environment using HPLC. Optimised method provided better separation of BC and VA in the column, improving the accuracy of the test results.